Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
291	Formal Methods in System Design manuscript No. (will be inserted by the editor) Analyzing Probabilistic Pushdown Automata Tom´asˇ Br´azdil · Javier Esparza · Stefan Kiefer · Anton´ın Kuˇcera Add to Reading List Source URL: www.fi.muni.cz Language: English - Date: 2012-02-13 06:49:57
292	Verifolio:)A)Portfolio)for Software)Verification Yulia Demyanova,.Thomas) Pani, Helmut.Veith,.Florian.Zuleger Vienna.University.of.Technology AI4FM.2015.D.September. 1,.2015 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Numerical software BLAST model checker CPAchecker Solver Blast Formal methods Logic in computer science
293	Institute for Applied Informatics and Formal Description Methods Niklas K¨ uhl Henning Kollenbroich Jonas Lehner Add to Reading List Source URL: www.intl.kit.edu Language: English - Date: 2015-09-23 06:36:58
294	Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-06-23 01:22:59 Software engineering Computer science Theoretical computer science Formal methods Fellows of the British Computer Society Logic in computer science Cliff Jones Dines Bjrner Models of computation Vienna Development Method David Gries Formal Aspects of Computing
295	Commoditizing Verification Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-15 23:23:06 Formal methods Logic in computer science Systems engineering Theoretical computer science Formal verification ESC/Java Verification Satisfiability modulo theories
296	Gestalt-Switching and the Evolutionary Transitions Peter Godfrey-Smith and Ben Kerr Forthcoming in BJPS Formal methods developed for modeling levels of selection problems have recently been applied to the investigation o Add to Reading List Source URL: www.petergodfreysmith.com Language: English - Date: 2011-07-02 17:35:29
297	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
298	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
299	Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Formal methods Logic in computer science Automated theorem proving Constraint programming Predicate logic Frama-C Satisfiability modulo theories TPTP Mereology SPASS
300	Formal Methods in Manufacturing Add to Reading List Source URL: tii.ieee-ies.org Language: English - Date: 2015-09-23 23:12:09

UPDATE